Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
461	arXiv:math/9205211v1 [math.HO] 1 May 1992 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-03 12:27:25 Number theory Mathematical notation Combinatorics Binomial coefficient Stirling number Bernoulli number Factorial Combinatory logic Summation Mathematics Integer sequences Permutations
462	On the entropy of LEGO r ∗ arXiv:math/0504039v2 [math.CO] 12 Apr 2005 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 17:28:24 Danish design Lego FO Combinatory logic Factorial Mathematics Combinatorics Integer sequences
463	Artificial Intelligence. Proceedings of the IFAC Symposium, Oxford-New-York-TorontoSydney-Frankfurt, [removed]USC-3: New Variant of a Language for Representing Knowledge and Add to Reading List Source URL: unsemcode.com Language: English - Date: 2013-08-15 14:17:59 FO Finite model theory Group action Surjective function Combinatory logic Logarithm Presentation of a group Mathematics Abstract algebra Functions and mappings
464	Types Are Calling Conventions Maximilian C. Bolingbroke Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-07-13 08:39:50 Logic in computer science Lambda calculus Models of computation Computability theory C++ classes Valuation ALGOL 68 Evaluation strategy Combinatory logic Theoretical computer science Software engineering Programming language theory
465	DMTCS proc. AG, 2006, 215–224 Fourth Colloquium on Mathematics and Computer Science Add to Reading List Source URL: mathinfo06.iecn.u-nancy.fr Language: English - Date: 2012-12-10 11:18:10 Central limit theorem Gamma distribution Constructible universe Combinatory logic Random walk Number theory Integer sequences Binomial series Binomial coefficient Mathematics Mathematical analysis Statistics
466	The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra⋆ Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-07-21 04:33:36 Transcendental number Rounding Combinatory logic Algorithm Number Sign function Real number Floating point Transcendental function Mathematics Algebra Data types
467	Universality for mathematical and physical systems Percy Deift∗ Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:58:45 Mathematical physics Spectral theory Lambda calculus Combinatory logic Logic in computer science Eigenvalues and eigenvectors Random matrix Weight Spectrum Algebra Mathematics Linear algebra
468	A Relationally Parametric Model of the Calculus of Constructions Neelakantan R. Krishnaswami Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-07-11 10:20:59 Logic in computer science Nonassociative algebra Entailment Logical consequence Metalogic Constructible universe Quasigroup Combinatory logic Curry–Howard correspondence Logic Mathematics Deduction
469	Certifying and reasoning on cost annotations of functional programs Roberto M. Amadio1 and Yann R´egis-Gianas1,2 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-05-18 04:03:57 Functional analysis Computability theory Lambda calculus Theoretical computer science Operator Continuation-passing style Combinatory logic Mathematics Software engineering Declarative programming
470	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory

UPDATE